Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
31 Publications
2024 | Journal Article | IST-REx-ID: 14820 | 
Weighted packet selection for rechargeable links in cryptocurrency networks: Complexity and approximation
S. Schmid, J. Svoboda, M.X. Yeo, Theoretical Computer Science 989 (2024).
[Published Version]
View
| DOI
| Download Published Version (ext.)
S. Schmid, J. Svoboda, M.X. Yeo, Theoretical Computer Science 989 (2024).
2023 | Journal Article | IST-REx-ID: 12287 |
Local criteria for triangulating general manifolds
J.-D. Boissonnat, R. Dyer, A. Ghosh, M. Wintraecken, Discrete & Computational Geometry 69 (2023) 156–191.
[Published Version]
View
| Files available
| DOI
| WoS
J.-D. Boissonnat, R. Dyer, A. Ghosh, M. Wintraecken, Discrete & Computational Geometry 69 (2023) 156–191.
2023 | Journal Article | IST-REx-ID: 12563 |
Topology and adjunction in promise constraint satisfaction
A. Krokhin, J. Opršal, M. Wrochna, S. Živný, SIAM Journal on Computing 52 (2023) 38–79.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
A. Krokhin, J. Opršal, M. Wrochna, S. Živný, SIAM Journal on Computing 52 (2023) 38–79.
2023 | Journal Article | IST-REx-ID: 12164 |
Long-lived counters with polylogarithmic amortized step complexity
M.A. Baig, D. Hendler, A. Milani, C. Travers, Distributed Computing 36 (2023) 29–43.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
M.A. Baig, D. Hendler, A. Milani, C. Travers, Distributed Computing 36 (2023) 29–43.
2023 | Journal Article | IST-REx-ID: 13988 |
Practical limitations of Ethereum’s layer-2
R. Neiheiser, G. Inacio, L. Rech, C. Montez, M. Matos, L. Rodrigues, IEEE Access 11 (2023) 8651–8662.
[Published Version]
View
| Files available
| DOI
| WoS
R. Neiheiser, G. Inacio, L. Rech, C. Montez, M. Matos, L. Rodrigues, IEEE Access 11 (2023) 8651–8662.
2023 | Journal Article | IST-REx-ID: 14751 |
Zero-error communication over adversarial MACs
Y. Zhang, IEEE Transactions on Information Theory 69 (2023) 4093–4127.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
Y. Zhang, IEEE Transactions on Information Theory 69 (2023) 4093–4127.
2023 | Journal Article | IST-REx-ID: 14776 |
Phytaspase Is capable of detaching the endoplasmic reticulum retrieval signal from tobacco calreticulin-3
A. Teplova, A.A. Pigidanov, M.V. Serebryakova, S.A. Golyshev, R.A. Galiullina, N.V. Chichkova, A.B. Vartapetian, International Journal of Molecular Sciences 24 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
A. Teplova, A.A. Pigidanov, M.V. Serebryakova, S.A. Golyshev, R.A. Galiullina, N.V. Chichkova, A.B. Vartapetian, International Journal of Molecular Sciences 24 (2023).
2023 | Journal Article | IST-REx-ID: 14778 |
On lexicographic proof rules for probabilistic termination
K. Chatterjee, E. Kafshdar Goharshady, P. Novotný, J. Zárevúcky, D. Zikelic, Formal Aspects of Computing 35 (2023).
[Published Version]
View
| Files available
| DOI
| arXiv
K. Chatterjee, E. Kafshdar Goharshady, P. Novotný, J. Zárevúcky, D. Zikelic, Formal Aspects of Computing 35 (2023).
2022 | Journal Article | IST-REx-ID: 12134 |
Explosive transitions in epidemic dynamics
G. Börner, M. Schröder, D. Scarselli, N.B. Budanur, B. Hof, M. Timme, Journal of Physics: Complexity 3 (2022).
[Published Version]
View
| Files available
| DOI
G. Börner, M. Schröder, D. Scarselli, N.B. Budanur, B. Hof, M. Timme, Journal of Physics: Complexity 3 (2022).
2022 | Journal Article | IST-REx-ID: 12156 |
Eukaryotic gene regulation at equilibrium, or non?
B. Zoller, T. Gregor, G. Tkačik, Current Opinion in Systems Biology 31 (2022).
[Published Version]
View
| Files available
| DOI
B. Zoller, T. Gregor, G. Tkačik, Current Opinion in Systems Biology 31 (2022).
2022 | Journal Article | IST-REx-ID: 10643 |
Adiabatic theorem in the thermodynamic limit: Systems with a gap in the bulk
S.J. Henheik, S. Teufel, Forum of Mathematics, Sigma 10 (2022).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
S.J. Henheik, S. Teufel, Forum of Mathematics, Sigma 10 (2022).
2022 | Journal Article | IST-REx-ID: 11556 |
Direct simulation Monte Carlo for new regimes in aggregation-fragmentation kinetics
A. Kalinov, A.I. Osinskiy, S.A. Matveev, W. Otieno, N.V. Brilliantov, Journal of Computational Physics 467 (2022).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
A. Kalinov, A.I. Osinskiy, S.A. Matveev, W. Otieno, N.V. Brilliantov, Journal of Computational Physics 467 (2022).
2022 | Journal Article | IST-REx-ID: 12129 |
Connectivity of triangulation flip graphs in the plane
U. Wagner, E. Welzl, Discrete & Computational Geometry 68 (2022) 1227–1284.
[Published Version]
View
| Files available
| DOI
| WoS
U. Wagner, E. Welzl, Discrete & Computational Geometry 68 (2022) 1227–1284.
2022 | Journal Article | IST-REx-ID: 12148 |
Rank-uniform local law for Wigner matrices
G. Cipolloni, L. Erdös, D.J. Schröder, Forum of Mathematics, Sigma 10 (2022).
[Published Version]
View
| Files available
| DOI
| WoS
G. Cipolloni, L. Erdös, D.J. Schröder, Forum of Mathematics, Sigma 10 (2022).
2022 | Journal Article | IST-REx-ID: 12286 |
Loose cores and cycles in random hypergraphs
O. Cooley, M. Kang, J. Zalla, The Electronic Journal of Combinatorics 29 (2022).
[Published Version]
View
| Files available
| DOI
| WoS
O. Cooley, M. Kang, J. Zalla, The Electronic Journal of Combinatorics 29 (2022).
2022 | Journal Article | IST-REx-ID: 12154 |
First and second sound in two-dimensional bosonic and fermionic superfluids
L. Salasnich, A. Cappellaro, K. Furutani, A. Tononi, G. Bighin, Symmetry 14 (2022).
[Published Version]
View
| Files available
| DOI
| WoS
L. Salasnich, A. Cappellaro, K. Furutani, A. Tononi, G. Bighin, Symmetry 14 (2022).
2022 | Journal Article | IST-REx-ID: 9311 |
Finite-memory strategies in POMDPs with long-run average objectives
K. Chatterjee, R.J. Saona Urmeneta, B. Ziliotto, Mathematics of Operations Research 47 (2022) 100–119.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
K. Chatterjee, R.J. Saona Urmeneta, B. Ziliotto, Mathematics of Operations Research 47 (2022) 100–119.
2022 | Journal Article | IST-REx-ID: 10208 |
A context-aware dimension reduction framework for trajectory and health signal analyses
S. Goudarzi, M. Sharif, F. Karimipour, Journal of Ambient Intelligence and Humanized Computing 13 (2022) 2621–2635.
[Submitted Version]
View
| Files available
| DOI
| WoS
S. Goudarzi, M. Sharif, F. Karimipour, Journal of Ambient Intelligence and Humanized Computing 13 (2022) 2621–2635.
2021 | Journal Article | IST-REx-ID: 11446
Vanishing of all equivariant obstructions and the mapping degree
S. Avvakumov, S. Kudrya, Discrete & Computational Geometry 66 (2021) 1202–1216.
[Preprint]
View
| Files available
| DOI
| arXiv
S. Avvakumov, S. Kudrya, Discrete & Computational Geometry 66 (2021) 1202–1216.
2021 | Conference Paper | IST-REx-ID: 10002 |
Symbolic time and space tradeoffs for probabilistic verification
K. Chatterjee, W. Dvorak, M.H. Henzinger, A. Svozil, in:, Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, Institute of Electrical and Electronics Engineers, 2021, pp. 1–13.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
K. Chatterjee, W. Dvorak, M.H. Henzinger, A. Svozil, in:, Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, Institute of Electrical and Electronics Engineers, 2021, pp. 1–13.